首页> 外文OA文献 >Symmetry and partial order reduction techniques in model checking Rebeca

【2h】

Symmetry and partial order reduction techniques in model checking Rebeca

机译：Rebeca模型检查中的对称和偏序约简技术

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jaghoori, MM; Sirjani, M; Mousavi, M Mohammad Reza; Khamespanah, E; Movaghar, A;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. 性能基导航中对称面内飞行技术误差模型 [J] . 赵鸿盛, 徐肖豪, 张军, 南京航空航天大学学报（英文版） . 2011,第003期
2. Symmetry and partial order reduction techniques in model checking Rebeca [J] . Mohammad Mahdi Jaghoori Marjan Sirjani Mohammad Reza Mousavi Ehsan Khamespanah Ali Movaghar Acta Informatica . 2010,第1期

机译：Rebeca模型检查中的对称和偏序约简技术
3. Symmetry and partial order reduction techniques in model checking Rebeca [J] . Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Acta Informatica . 2010,第1期

机译：Rebeca模型检查中的对称和偏序约简技术
4. Actor-based slicing techniques for efficient reduction of Rebeca models [J] . Hamideh Sabouri, Marjan Sirjani Science of Computer Programming . 2010,第10期

机译：基于Actor的切片技术可有效简化Rebeca模型
5. From asymmetry to full symmetry: new techniques for symmetry reduction in model checking [C] . E.Allen Emerson, Richard J.Tefler IFIP WG10.5 advanced research working conference on correct hardware design and verification methods . 1999

机译：从不对称到完全对称性：模型检查的对称性降低的新技术
6. Robust inference and model checking techniques for censored linear regression models. [D] . Leon, Larry Frank. 2005

机译：审查线性回归模型的鲁棒推理和模型检查技术。
7. Model Checking Techniques for Assessing Functional Form Specifications in Censored Linear Regression Models [O] . Larry F. León, Tianxi Cai -1

机译：模型检测技术在截尾线性回归模型评估函数形式规格
8. Symmetry and partial order reduction techniques in model checking Rebeca [O] . M. M. Jaghoori, M. Sirjani, M. R. Mousavi, 2007

机译：Rebeca模型检查中的对称和偏序约简技术
9. Symmetry and Partial Order Reduction Techniques in Model Checking 'Rebeca' [R] . Jaghoori, M. M., Sirjani, M., Mousavi, M. R., 2007

机译：模型检查'Rebeca'中的对称性和偏序降阶技术

Symmetry and partial order reduction techniques in model checking Rebeca

著录项

引文网络

相似文献

相关主题

期刊订阅